GJB 5234-2004 军用软件验证和确认
|
ID： |
6E48B302B3C94D5A90CF2D004785230A |
|
文件大小(MB)： |
3.02 |
|
页数： |
63 |
|
文件格式： |
|
|
日期： |
2024-7-14 |
|
购买： |
文本摘录（文本识别可能有误，但文件阅览显示及打印正常，pdf文件可进行文字搜索定位）：
国yj身,中华人民共和国国家军用标准,FL 0137 GJB 5234-2004,代替 GJB/Z 117-99,军用软件验证和确认,Military software verification and validation,2004-09-20 发布2005-01-01 实施,中国人民解放军总装备部批准,GJB 5234-2004,目 次,前言 II,引言.. III,1 范围 1,2引用文件.. 1,3术语、定义和缩略语.. . 1,3.1 术语和定义 ； 1,3.2 缩略语.. 3,4软件完整性级别. 3,5 V&V过程. 5,5.1 综述. 5,5.2 过程：管理.. 7,5.3 过程：获取.. 7,5.4 过程：供应.. 9,5.5 过程：开发 10,5.6 过程：运作 24,5.7 过程：维护 24,6软件V&V报告、管理和文档要求.. 30,6.1 V&V报告要求.. 30,6.2 V&V管理要求.. 30,6.3 V&V文档要求.. 30,附录A （资料性附录）SVVP内容编写要求.. 32,附录B （资料性附录）从GB/T 8566-2001 V&V需求到本标准V&V活动和任务的映射.. 44,附录C （资料性附录）独立验证和确认（IV&V）的定义 48,附录D （资料性附录）可重用软件的V&V 50,附录E （资料性附录）V&V度量.. 51,附录F （资料性附录）V&V与项目中其他组织关系的示例 52,附录G （资料性附录）可选V&V任务描述.. 53,参考文献. 58,GJB 5234-2004,前 言,本标准代替GJB/Z 117-1999《军用软件验证和确认计划指南》,本标准与GJB/Z 117-1999相比主要有下列变化：,a) GJB/Z 117-1999参照IEEE Std 1012 -1986《软件验证和确认计划》制定，本标准主要参照IEEE,1012-1998《软件验证和确认》，并加入了 IEEE 1059-1993《软件验证和确认计划指南》的部,分内容；,b) GJB/Z 117-1999规定了软件验证和确认计划(SWP)的内容和格式,本标准不仅详细规定了软,件验证和确认计划(SWP)的内容和格式，还规定了在整个软件生存周期过程中进行验证和确,认所需执行的任务及其输入和输出,本标准的附录A、B、C、D、E、F、G是资料性附录,本标准由中国人民解放军总装备部电子信息基础部提出,本标准起草单位：信息产业部电子第四研究所、总参谋部第六十一所、总装备部测量通信总体研究,所、中国航天科工集团第706所,本标准起草人：韩红强、冯惠、王纬、高林、许聚常、韩一柯.,GJB 5234-2004,引 H,G,b),c),d),军用软件验证与确认标准是一个涉及软件生存周期过程中获取、供应、开发、运行和维护的过程标,准,本标准的目的在于：,为支持软件生存周期过程的验证和确认过程、活动和任务建立一个公共框架：,定义验证和确认的任务、要求的输入和要求的输出；,使用一个四级方案标识与软件完整性级别相对应的最低限度验证和确认任务；,定义软件验证和确认计划(SWP)的内容,in,GJB 5234-2004,军用软件验证和确认,1范围,本标准规定了军用软件验证和确认过程以及军用软件验证和确认计划（以下简称SWP）的编制要,求。验证和确认过程确定一个已知活动的开发产品是否符合活动要求，软件是否满足它的预期用途和用,户需要。验证和确认过程可包括软件产品和过程的分析、评价、评审、审查、评估和测试,本标准适用于那些处于开发、维护和重用中的军用软件。本标准的使用者可根据具体的软件项目剪,裁实施本标准,2引用文件,下列文件中的有关条款通过引用而成为本标准的条款。凡注明日期或版次的引用文件，其后的任何,修改单（不包括勘误的内容）或修订版本都不适用于本标准,但提倡使用本标准的各方探讨使用其最新版,本的可能性。凡不注明日期或版次的引用文件，其最新版本适用于本标准,GJB438A-1997武器系统软件开发文档,3术语、定义和缩略语,3.1 术语和定义,下列强和定义适用于本标准,3.1.1 验收测试 acceptance testing,a）确定一系统是否符合其验收准则且能使客户确定是否接收此系统的正式测试,b）使用户、客户或其他授权实体确定是否接受系统或部件的正式测试,3. 1.2 部件测试 component testing,为验证一个软件元素（例如单元、模块）或软件元素集的设计的准确实现和对程序要求的符合性而进,行的测试,3.1.3 关键性分析 criticality analysis,针对系统失效、系统老化或未能满足软件要求或系统目标所造成影响的严重性而进行的软件特性,（例如，安全性、安全保密性、复杂性和性能）的结构化评估,3.1.4 危险 hazard,在人身伤害和健康、财产、环境的损害等方面的潜在伤害来源或具有潜在伤害的情形,3.1.5 危险分析 hazard analysis,对由系统开发或运行导致的软件的不良后果进行的系统定性或定量的评价。这些后果可能包括损,害、疾病、死亡、任务失败、经济损失、财产损失、环境破坏或负面社会影响。本评价可包括分类、消,除、减少或缓解危险的审查或分析方法,3.1,6 危险标识 hazard identiflcation,认识到危险存在并定义其特性的过程,3.1.7 独立轴证和确认 independent verification and validation,由在技术、管理和财务上与开发组织具有规定程度独立性的组织执行的验证和确认过程,3.1.8……
……